Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
61	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
62	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
63	Recursive Domains, Indexed Category Theory and Polymorphism Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:47 Theory of computation Models of computation Lambda calculus Mathematical logic Denotational semantics Function Categorical logic Topos Domain theory Mathematics Theoretical computer science Applied mathematics
64	✂✁✄ ✂☎✝✆✟✞✡✠☞☛✍✌✎✞✑✏✓✒✕✔✗✖ ✘✚✙✜✛✢✠✡✘✤✣✥✠☞☛✤✦✧✦✄✒★✁✩✣✫✪✬☛✚✁✩✣✮✭✯☛✰✣✮✔✱✆✳✲ ✶✴ ✵✳✷✹✸✻✺✗✼✾✽❀✿❁✽☞✷✹✷❂✼ ❃❅❄❂❆❅❇✟❈❉✽✡❊●❋✗✽✡✵✳✺✳❍■❇✟✽✹❈✚❏●✽☞❑▼▲✰❇☞◆❖◗✼❘❇ Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:27:46 Logic in computer science Adjoint functors Denotational semantics Monad Categorical logic Universal property Semantics of programming languages Structure Model theory Category theory Mathematics Theoretical computer science
65	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory
66	What is a categorical model for Linear Logic? Andrea Schalk Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2004-10-15 10:42:33 Closed monoidal category Monoidal functor Monoidal natural transformation Monoid Braided monoidal category Cartesian closed category Product PRO Adjoint functors Category theory Monoidal categories Algebra
67	- 1881 Add to Reading List Source URL: human.kanagawa-u.ac.jp Language: English - Date: 2010-11-29 03:50:00 Propositions Function Logic Traditional logic Mathematics Categorical proposition
68	PDF Document Add to Reading List Source URL: www.ub.edu Language: English - Date: 2009-10-27 11:09:52 Philosophical logic Propositions Modal logic Propositional calculus Factual relativism Proposition Contingency Truth Categorical proposition Logic Philosophy Relativism
69	PDF Document Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2005-06-22 13:21:20 Sheaf theory Algebraic topology Topos Adjoint functors Philosophers of mathematics Categorical logic Sketch Michael Barr Alexander Grothendieck Category theory Mathematics Abstract algebra
70	PDF Document Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2005-05-20 10:56:44 Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic

UPDATE